/*
 * locals.h
 *
 *  Created on: Jul 22, 2012
 *      Author: baris
 */

#ifndef SATURATION_UTILS_H_
#define SATURATION_UTILS_H_

#include <Judy.h>
#include "../model/datatypes.h"
#include "context.h"

// returns 1 if axiom is added, 0 if the axiom already exists
// char add_to_processed_axioms(SubClassAxiom* ax);

// marks the axiom with the premise lhs and conclusion rhs as processed
// void mark_axiom_processed(Concept* lhs, Concept* rhs);

int mark_axiom_processed(SubClassAxiom* ax);

// checks whether the axiom with the premise lhs and conclusion rhs has
// already been processed
// int is_axiom_processed(Concept* lhs, Concept* rhs);

void enqueue_to_scheduled_axioms(SubClassAxiom* ax);

SubClassAxiom* dequeue_from_scheduled_axioms();


#endif /* LOCALS_H_ */
